A Church-Fitch proof for the universality of causation

In an attempt to improve upon Alexander Pruss’s work (2006, pp. 240-248), I (Weaver, 2012) have argued that if all purely contingent events could be caused and something like a Lewisian analysis of causation is true (per Lewis, 2004), then all purely contingent events have causes. I dubbed the derivation of the universality of causation the “Lewisian argument”. The Lewisian argument assumed not a few controversial metaphysical theses, particularly essentialism, an incommunicable-property view of essences (per Plantinga 2003), and the idea that counterfactual dependence is necessary for causation. There are, of course, substantial objections to such theses. While I think a fight against objections to the Lewisian argument can be won, I develop, in what follows, a much more intuitive argument for the universality of causation which takes as its inspiration a result from Frederic Fitch’s work (1963) (with credit to who we now know was Alonzo Church (2009)) that if all truths are such that they are knowable, then (counter-intuitively) all truths are known. The resulting Church-Fitch proof for the universality of causation is preferable to the Lewisian argument since it rests upon far weaker formal and metaphysical assumptions than those of the